Transactional memory - PDFSEARCH.IO - Document Search Engine

Transactional memory
Results: 350

#	Item
311	CONVERSION: Multi-Version Concurrency Control for Main Memory Segments Timothy Merrifield Jakob Eriksson Add to Reading List Source URL: www.cs.uic.edu Language: English - Date: 2013-03-08 14:22:06 Computer programming Software transactional memory Lock Thread Non-blocking algorithm Extensible Storage Engine Commitment ordering Parallel computing Concurrent data structure Computing Concurrency control Software engineering
312	An Implementation and Semantics for Transactional Memory Introspection in Haskell Arnar Birgisson ´ Ulfar Add to Reading List Source URL: www.hvergi.net Language: English - Date: 2013-10-25 16:11:19 Symbol Model theory Heap Computing Concurrent Haskell Software engineering Software transactional memory
313	Write-observation and Read-preservation TM Correctness Invariants Mohsen Lesani Jens Palsberg Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2013-07-24 03:26:31 Schedule Software transactional memory Data Information Computing Transaction processing Concurrency control Data management
314	Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-08-15 23:50:13 Computing Data Software transactional memory Algorithm Model theory Linearizability Serializability Opacity Concurrency control Transaction processing Data management
315	A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani1 , Victor Luchangco2, and Mark Moir2 1 University of California, Los Angeles, USA Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-07-13 22:02:23 Theoretical computer science Computer science Finite-state machine Cellular automata Algorithm Learning automata Büchi automaton Automata theory Models of computation Applied mathematics
316	Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2013-10-26 02:05:50 Data Information Software transactional memory Serializability Linearizability Schedule Transactional memory Database transaction Extensible Storage Engine Transaction processing Concurrency control Data management
317	UNIVERSITY OF CALIFORNIA Los Angeles On the Correctness of Transactional Memory Algorithms A dissertation submitted in partial satisfaction of the Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-08-06 16:13:04 Formal sciences Inference Mathematical logic Correctness Algorithm First-order logic Soundness Rule of inference Logic Theoretical computer science Model theory
318	PDF Document Add to Reading List Source URL: www.packtpub.com Language: English Data management Data Concurrent computing Databases Software transactional memory Actor model Transactional memory Parallel computing Lock Transaction processing Concurrency control Computing
319	COST Action Euro-TM European researchers unite to unleash the potential of multi-core architectures Since 2011, BSC has been participating in the COST (European Cooperation in Science and Technology) Action Euro-TM, brin Add to Reading List Source URL: www.bsc.es Language: English - Date: 2014-07-14 08:14:45 Concurrent computing Concurrency Microprocessors Digital signal processing Parallel computing Multi-core processor Transactional memory Central processing unit Linearizability Concurrency control Transaction processing Computing
320	Combining Events And Threads For Scalable Network Services Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives Peng Li Steve Zdancewic Add to Reading List Source URL: fdmanana.files.wordpress.com Language: English - Date: 2010-06-08 16:04:04 Threads Scheduling Concurrent Haskell Asynchronous I/O Monad Continuation Software transactional memory Non-blocking algorithm Native POSIX Thread Library Computing Concurrent computing Computer programming

UPDATE